gdk: Remove an unused texture api
authorMatthias Clasen <mclasen@redhat.com>
Wed, 27 May 2020 00:35:13 +0000 (20:35 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 27 May 2020 00:43:47 +0000 (20:43 -0400)
commit45f162fc50ccc007e6fa634cbe4da1496ada352f
treeb126b14516b149e910b4d8326764f297cf797f13
parenta20291f23559191c67235255b816b933fc4dbaae
gdk: Remove an unused texture api

gdk_gl_texture_from_surface wasn't used anywhere,
so lets drop it.
gdk/gdkgl.c
gdk/gdkinternals.h